semantics of modal logicの例文

例文

もっと例文:   1  2

1. Early in his career, he devised a semantics of modal logic essentially analogous to Saul Kripke's quantifiers than does conventional first-order logic.
2. Building upon his work on semantics of modal logic, Saul Kripke created another semantics for intuitionistic logic, known as "'Kripke semantics "'or "'relational semantics " '.
3. According to the traditional'possible worlds'semantics of modal logic, the compound sentences that are formed out of the modal operators are to be interpreted in terms of quantification over possible worlds, subject to the relation of accessibility.
4. Lemmon was a pioneer of the modern approach to the semantics of modal logic, particularly through his collaboration with Dana Scott, but also became interested in the rival algebraic semantics of modal logic that follows more closely the kind of semantics found in the work of Tarski and J騨sson.
5. Lemmon was a pioneer of the modern approach to the semantics of modal logic, particularly through his collaboration with Dana Scott, but also became interested in the rival algebraic semantics of modal logic that follows more closely the kind of semantics found in the work of Tarski and J騨sson.